A DSL for Explicit Semantic Adaptation
نویسندگان
چکیده
In the domain of heterogeneous model composition, semantic adaptation is the “glue” that is necessary to assemble heterogeneous models so that the resulting composed model has well-defined semantics. In this paper, we present an execution model for a semantic adaptation interface between heterogeneous models. We introduce a Domain-Specific Language (DSL) for specifying such an interface explicitly using rules, and a transformation toward the ModHel’X framework. The DSL enables the modeller to easily customise interfaces that fit the heterogeneous model at hand in a modular way, as involved models are left untouched. We illustrate the use of our DSL on a power window case study and demonstrate the importance of defining semantic adaptation explicitly by comparing with the results obtained with Ptolemy II.
منابع مشابه
DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework
This paper describes an approach to creating textual syntax for Domain-Specific Languages (DSL). We consider target meta-model to be the main artifact and hence to be developed first. The key idea is to represent analysis of textual syntax as a sequence of transformations. This is made by explicit operations on abstract syntax trees (ATS), for which a simple language is proposed. Text-to-model ...
متن کاملDomain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications
This paper presents a DSL for geometric relations between rigid bodies such as relative position, orientation, pose, linear velocity, angular velocity, and twist. The DSL is the formal model of the recently proposed semantics for the standardization of geometric relations between rigid bodies [1], [2], referred to as ‘geometric semantics’. This semantics explicitly states the coordinate-invaria...
متن کاملLanguage-Oriented Programming Via DSL Stacking
According to the paradigm of Language-Oriented Programming, an application for a problem should be implemented in the most appropriate domain-specific language (DSL). This paper introduces DSL stacking, an efficient method for implementing Language-Oriented Programming where DSLs and general-purpose languages are incrementally developed on top of a base language. This is demonstrated with compo...
متن کاملImplementing Explicit and Finding Implicit Sharing in Embedded DSLs
Aliasing, or sharing, is prominent in many domains, denoting that two differently-named objects are in fact identical: a change in one object (memory cell, circuit terminal, disk block) is instantly reflected in the other. Languages for modelling such domains should let the programmer explicitly define the sharing among objects or expressions. A DSL compiler may find other identical expressions...
متن کاملdSL, a Language and Environment for the Design of Distributed Industrial Controllers
We present dSL (distributed Supervision Language), a language and environment dedicated to the specification of industrial controllers. dSL extends an existing language used in the industrial world to allow transparent code distribution. We study other existing solutions, and argue for the need of dSL. Next, we define dSL syntactically and semantically, and prove some remarkable properties on i...
متن کامل